perm filename LOGIC[S86,JMC] blob
sn#816879 filedate 1986-05-08 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 logic[s86,jmc] The logic approach to AI - for DARPA lecture 1986 May 12
C00004 ENDMK
Cā;
logic[s86,jmc] The logic approach to AI - for DARPA lecture 1986 May 12
Topics:
What is mathematical logic?
What is artificial intelligence?
logic theory machine
programs with common sense 1958
epistemological and heuristic problems of AI
STRIPS
resolution 1965
logic programming with examples
control in logic programming
expert systems with shallow knowledge and "strong methods" - 1974 MYCIN
use of logic in expert systems
expert system shells
the compromise between expressive power and computational feasibility
limitations of expert systems
non-monotonic reasoning
the common sense database problem
non-monotonic example from Pilot's Associate or Naval Battle Management
DARPA support of AI in general and logic based AI in particular
Achieving the expert system goals DARPA has set will require
advances in use of logic.
open problems
references